15 results
SIZE AND LOGIC
-
- Journal:
- The Review of Symbolic Logic / Volume 2 / Issue 2 / June 2009
- Published online by Cambridge University Press:
- 09 July 2009, pp. 396-413
- Print publication:
- June 2009
-
- Article
- Export citation
REACTIVE PREFERENTIAL STRUCTURES AND NONMONOTONIC CONSEQUENCE
-
- Journal:
- The Review of Symbolic Logic / Volume 2 / Issue 2 / June 2009
- Published online by Cambridge University Press:
- 09 July 2009, pp. 414-450
- Print publication:
- June 2009
-
- Article
- Export citation
BELIEF REVISION IN NON-CLASSICAL LOGICS
-
- Journal:
- The Review of Symbolic Logic / Volume 1 / Issue 3 / October 2008
- Published online by Cambridge University Press:
- 01 October 2008, pp. 267-304
- Print publication:
- October 2008
-
- Article
- Export citation
CUMULATIVITY WITHOUT CLOSURE OF THE DOMAIN UNDER FINITE UNIONS
-
- Journal:
- The Review of Symbolic Logic / Volume 1 / Issue 3 / October 2008
- Published online by Cambridge University Press:
- 01 October 2008, pp. 372-392
- Print publication:
- October 2008
-
- Article
- Export citation
Crossover: a unified view
-
- Journal:
- Journal of Linguistics / Volume 34 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 01 March 1998, pp. 73-124
- Print publication:
- March 1998
-
- Article
- Export citation
Extending the Curry-Howard interpretation to linear, relevant and other resource logics1
-
- Journal:
- The Journal of Symbolic Logic / Volume 57 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1319-1365
- Print publication:
- December 1992
-
- Article
- Export citation
Craig interpolation theorem for intuitionistic logic and extensions Part III
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 269-271
- Print publication:
- June 1977
-
- Article
- Export citation
A new version of Beth semantics for intuitionistic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 2 / June 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 306-308
- Print publication:
- June 1977
-
- Article
- Export citation
Completeness properties of heyting's predicate calculus with respect to re models
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 81-94
- Print publication:
- March 1976
-
- Article
- Export citation
The undecidability of intuitionistic theories of algebraically closed fields and real closed fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 1 / March 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 86-92
- Print publication:
- March 1973
-
- Article
- Export citation
Decidability of some intuitionistic predicate theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 3 / September 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 579-587
- Print publication:
- September 1972
-
- Article
- Export citation
Sufficient conditions for the undecidability of intuitionistic theories with applications1
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 375-384
- Print publication:
- June 1972
-
- Article
- Export citation
Applications of trees to intermediate logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 135-138
- Print publication:
- March 1972
-
- Article
- Export citation
The decidability of the Kreisel-Putnam system1
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 3 / September 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 431-437
- Print publication:
- September 1970
-
- Article
- Export citation
Saul A. Kripke. Semantical considerations for modal logics. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23-26 August, 1962, Acta Philosophica Fennica1963, pp. 83–94.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 501
- Print publication:
- 17 November 1969
-
- Article
- Export citation